搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

	New Advances in Intelligent Decision Technologies [electronic resource] : Results of the First KES International Symposium IDT 2009 0 索取号：作者：Nakamatsu、 Kazumi.、Phillips-Wren、 Gloria.、Jain、 Lakhmi C.、Howlett、 Robert J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Differential Equations - Geometry, Symmetries and Integrability [electronic resource] : The Abel Symposium 2008 0 索取号：作者：Kruglikov、 Boris.、Lychagin、 Valentin.、Straume、 Eldar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Geodetic Reference Frames [electronic resource] : IAG Symposium Munich, Germany, 9-14 October 2006 0 索取号：作者：Drewes、 Hermann.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Higher-Order Components for Grid Programming [electronic resource] : Making Grids More Usable 0 索取号：作者：D眉nnweber、 Jan.、Gorlatch、 Sergei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbr眉cken, Germany, March 25-27, 2009. Proceedings 0 索取号：作者：Bruza、 Peter.、Sofge、 Donald.、Lawless、 William.、Rijsbergen、 Keith.、Klusch、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings 0 索取号：作者：Li、 Wenjie.、Moll谩-Aliod、 Diego.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W眉rzburg, Germany, October 4-6, 2007, Revised Selected Papers 0 索取号：作者：Seipel、 Dietmar.、Hanus、 Michael.、Wolf、 Armin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.		Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers 0 索取号：作者：Bosch、 Peter.、Gabelaia、 David.、Lang、 J茅r么me.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Creating Brain-Like Intelligence [electronic resource] : From Basic Principles to Complex Intelligent Systems 0 索取号：作者：Sendhoff、 Bernhard.、K枚rner、 Edgar.、Sporns、 Olaf.、Ritter、 Helge.、Doya、 Kenji.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 0 索取号：作者：Castagna、 Giuseppe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 0 索取号：作者：Hanus、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Numerical Analysis and Its Applications [electronic resource] : 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers 0 索取号：作者：Margenov、 Svetozar.、Vulkov、 Lubin G.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings 0 索取号：作者：Pipek、 Volkmar.、Rosson、 Mary Beth.、Ruyter、 Boris.、Wulf、 Volker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Charge Injection Systems [electronic resource] : Phycical Principles, Experimental and Theoretical Work 0 索取号：作者：Shrimpton、 John.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Graph Drawing [electronic resource] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers 0 索取号：作者：Tollis、 Ioannis G.、Patrignani、 Maurizio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Engineering Secure Software and Systems [electronic resource] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings 0 索取号：作者：Massacci、 Fabio.、Redwine、 Samuel T.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

	New Advances in Intelligent Decision Technologies [electronic resource] : Results of the First KES International Symposium IDT 2009 0 索取号：作者：Nakamatsu、 Kazumi.、Phillips-Wren、 Gloria.、Jain、 Lakhmi C.、Howlett、 Robert J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Differential Equations - Geometry, Symmetries and Integrability [electronic resource] : The Abel Symposium 2008 0 索取号：作者：Kruglikov、 Boris.、Lychagin、 Valentin.、Straume、 Eldar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Geodetic Reference Frames [electronic resource] : IAG Symposium Munich, Germany, 9-14 October 2006 0 索取号：作者：Drewes、 Hermann.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Higher-Order Components for Grid Programming [electronic resource] : Making Grids More Usable 0 索取号：作者：D眉nnweber、 Jan.、Gorlatch、 Sergei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbr眉cken, Germany, March 25-27, 2009. Proceedings 0 索取号：作者：Bruza、 Peter.、Sofge、 Donald.、Lawless、 William.、Rijsbergen、 Keith.、Klusch、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings 0 索取号：作者：Li、 Wenjie.、Moll谩-Aliod、 Diego.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W眉rzburg, Germany, October 4-6, 2007, Revised Selected Papers 0 索取号：作者：Seipel、 Dietmar.、Hanus、 Michael.、Wolf、 Armin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.		Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers 0 索取号：作者：Bosch、 Peter.、Gabelaia、 David.、Lang、 J茅r么me.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Creating Brain-Like Intelligence [electronic resource] : From Basic Principles to Complex Intelligent Systems 0 索取号：作者：Sendhoff、 Bernhard.、K枚rner、 Edgar.、Sporns、 Olaf.、Ritter、 Helge.、Doya、 Kenji.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 0 索取号：作者：Castagna、 Giuseppe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 0 索取号：作者：Hanus、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Numerical Analysis and Its Applications [electronic resource] : 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers 0 索取号：作者：Margenov、 Svetozar.、Vulkov、 Lubin G.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings 0 索取号：作者：Pipek、 Volkmar.、Rosson、 Mary Beth.、Ruyter、 Boris.、Wulf、 Volker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Charge Injection Systems [electronic resource] : Phycical Principles, Experimental and Theoretical Work 0 索取号：作者：Shrimpton、 John.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Graph Drawing [electronic resource] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers 0 索取号：作者：Tollis、 Ioannis G.、Patrignani、 Maurizio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Engineering Secure Software and Systems [electronic resource] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings 0 索取号：作者：Massacci、 Fabio.、Redwine、 Samuel T.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.